#include <stdio.h>

int sys_write(void) {
    write(1, "hello, world\n", 13);
    _exit(0);
}